Formal Definition of Premises for Concurrent Design Process of Large Complicated Systems and Their Consequences

This paper discusses concurrent design process of large complicated systems toward the establishment of formal fundamentals that are necessary in the development of agent-based distributed design systems. Under the assumption that an artifact is modeled with a set of lumped mass systems and that the number of variables is fairly huge, the necessity of hierarchical and horizontal decomposition of design tasks is formulated under the time-boundness of design process, granularity levels in modeling and consequent fidelity degrees of respective models. This leads the understanding that concurrent design process is under goal cascading across various aspects toward total compromise of overall design requirements. This paper concludes with the definitions of three typical situations in goal coordination and required mechanisms in the implementation of agent-based concurrent design systems.